-
1 формальная модель
Большой англо-русский и русско-английский словарь > формальная модель
-
2 формальная модель политики безопасности
eng.formal security policy modelrus.формальная модель политики безопасностиukr.формальна модель політики безпекиМатематическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.English-Russian dictionary of information security > формальная модель политики безопасности
-
3 модель Белла-Лападула
eng.Bell-LaPadulerus.модель Белла-Лападулаukr.модель Бела-ЛападулаФормальная автоматная модель политики безопасности, описывающая множество правил управления доступом.English-Russian dictionary of information security > модель Белла-Лападула
-
4 formal model
Большой англо-русский и русско-английский словарь > formal model
-
5 formal model
English-Russian dictionary of computer science and programming > formal model
-
6 formal model
-
7 formal model
English-Russian dictionary of computer science > formal model
-
8 formal model
Англо-русский словарь по исследованиям и ноу-хау > formal model
-
9 formal security policy model
формальная модель политики безопасности
Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB), модель должна содержать формальное доказательство следующих положений: начальное состояние системы является безопасным; если все условия безопасности, определяемые моделью, выполнены, то все последующие состояния системы также будут безопасными.
[http://www.rfcmd.ru/glossword/1.8/index.php?a=index&d=23]Тематики
EN
Англо-русский словарь нормативно-технической терминологии > formal security policy model
-
10 algoristic-type model
Большой англо-русский и русско-английский словарь > algoristic-type model
-
11 algoristic-type model
формальная модель: алгоритмическая модельEnglish-Russian dictionary of computer science and programming > algoristic-type model
-
12 formal security model
English-Russian information technology > formal security model
-
13 information model
информационная модель
Модель объекта, представленная в виде информации, описывающей существенные для данного рассмотрения параметры и переменные величины объекта, связи между ними, входы и выходы объекта и позволяющая путем подачи на модель информации об изменениях входных величин моделировать возможные состояния объекта.
[ ГОСТ 34.003-90]
информационная модель
1. Совокупность сигналов, несущих информацию об объекте управления и внешней среде, организованная по определенным правилам. Комбинации сигналов на мнемосхеме в кабинете директора, телевизионное изображение цеха, система математических формул и база данных, характеризующих экономические процессы на предприятии, общее представление руководителя о структуре предприятия — все это И.м. разных типов, предназначенные для различных задач, технических средств и методов управления. Словом, это вся сумма сведений, знаний об объекте управления, а также о задачах, которые предстоит решать, имеющихся у человека, принимающего решение. 2. Более узко: схема потоков информации, обращающейся в процессе управления объектом. Например, при создании АСУ формируется И.м. предприятия в виде графа, схемы, описывающей процедуры разработки плана и связи между ними (в том числе обратные связи). Это способствует упорядочению процессов управления, повышению гибкости информационных связей, оперативности и согласованности принятия решений на разных уровнях системы.
[ http://slovar-lopatnikov.ru/]Тематики
EN
информационная модель системы автоматизации подстанции
Модель системы автоматизации подстанции, представляющая функции и устройства подстанции, которые приобретают видимую и доступную форму.
[ ГОСТ Р 54325-2011 (IEC/TS 61850-2:2003)]EN
information model
knowledge concerning substation functions (devices) made visible and accessible through the means of the IEC 61850 series. The model describes in an abstract way a simplified representation of a real function or device
[IEC 61850-2, ed. 1.0 (2003-08)]Тематики
EN
3.2.21 информационная модель (information model): Формальная модель ограниченного набора фактов, понятий или инструкций, предназначенная для удовлетворения конкретному требованию;
Источник: ГОСТ Р ИСО 10303-1-99: Системы автоматизации производства и их интеграция. Представление данных об изделии и обмен этими данными. Часть 1. Общие представления и основополагающие принципы оригинал документа
4.37 информационная модель (information model): Формальная модель ограниченного набора фактов, понятий или инструкций, предназначенная для удовлетворения конкретному требованию.
Источник: ГОСТ Р 54136-2010: Системы промышленной автоматизации и интеграция. Руководство по применению стандартов, структура и словарь оригинал документа
Англо-русский словарь нормативно-технической терминологии > information model
-
14 model
ˈmɔdl
1. сущ.
1) а) модель;
макет (уменьшенная копия чего-л.) a ship model ≈ модель корабля Syn: small-scale reproduction б) модель, шаблон clay models for a statue ≈ модели из глины для статуи
2) модель (идеализированное или упрощенное описание чего-л.) mathematical model ≈ математическая модель model of economy ≈ модель экономики production model ≈ модель производства
3) а) образец, эталон to pose as a model ≈ выдавать за образец to serve as a model ≈ служить образцом to take as a model ≈ брать за образец a model of politeness ≈ образец вежливости role model ≈ образец для подражания Syn: standard
1., ideal
1. б) биол. модель (организм, которому подражают в мимикрии)
4) а) натурщик, натурщица artist's model ≈ натурщица художника photographer's model ≈ модель фотографа б) манекенщик, манекенщица в) эвф. проститутка
5) тип, марка, модель Model T ≈ первые марки автомобилей, выпущенных фирмой Форда Syn: make, design
1.
2. гл.
1) лепить to model a cat in clay ≈ лепить кошку из глины Syn: fashion
2.
2) моделировать( систему и т. п.) to model the circulation in the atmosphere ≈ моделировать движение воздушных масс to model the urban system ≈ моделировать городскую систему
3) а) создавать, конструировать (на основе каких-л. принципов и т. п.) б) делать по образцу( чего-л.;
after, on) a sports car modeled on a racing car ≈ спортивный автомобиль, сделанный по образцу гоночного Syn: pattern after
4) а) позировать, работать натурщиком, натурщицей to model for an artist ≈ позировать художнику б) демонстрировать модели (о манекенщицах)
3. прил.
1) образцовый, примерный As a girl she has been a model pupil. ≈ В детстве она была примерной ученицей. Hospital staff say he is a model patient. ≈ Весь персонал больницы утверждает, что он идеальный пациент.
2) являющийся моделью the collecting of model soldiers ≈ коллекционирование солдатиков, являющихся копией настоящих солдат модель, макет - working * действующая модель - a * of a monument макет памятника - plane * модель самолета модель, образец;
слепок, шаблон - constructed after * сконструировано по образцу /по шаблону/ - he made each box on the * of the first он сделал все коробки по образцу первой модель, фасон - the latest Paris *s новейшие /последние/ парижские модели - * frock модель платья образец - a * of virtue образец добродетели - on the * of smb., smth. по образцу /по примеру/ кого-л., чего-л. - to take smb. as one's * взять кого-л. за образец - * behaviour образцовое /примерное/ поведение - * farm образцовая ферма - * husband идеальный муж модель, тип, марка конструкции - the latest *s of cars последние модели автомобилей - a sports * спортивная модель (автомобиля) (диалектизм) точная копия - she is a perfect /the very/ * of her mother она точная копия своей матери натурщик;
натурщица - I worked as a photographer's * меня снимали для журнала, я работала фотомоделью манекенщица (для демонстрации моделей одежды) ;
манекенщик (тж. male *) манекен (эвфмеизм) проститутка, приходящая по вызову делать, создавать модель или макет;
моделировать;
лепить - to * ships делать модели кораблей - to * dresses работать модельером, создавать модели /фасоны/ платьев - to * smth. in clay вылепить что-л. из глины - he *led her head in wax он сделал восковую модель ее головы (техническое) формовать делать, создавать по образцу;
следовать образцу - his work is *led on /upon, after/ the Spanish в своих произведениях он использовал испанские образцы;
в своих произведениях он следовал /подражал/ испанским образцам - to * oneself on /upon, after/ smb. подражать кому-л., брать пример с кого-л. (в своем поведении) - he *led his behaviour on that of his father в своем поведении он подражал отцу /следовал примеру отца/ быть натурщиком, натурщицей, живой моделью быть манекенщицей - she *s for a living она работает манекенщицей, она зарабатывает на жизнь, демонстрируя модели одежды - she *led dresses она демонстрировала платья abstract ~ абстрактная модель abstract ~ building вчт. абстрактное моделирование allocation ~ модель распределения analytical ~ аналитическая модель associative ~ ассоциативная модель autonomous ~ автономная модель autoregressive ~ авторегрессионная модель backlogging ~ модель с задалживанием роста заказов battle ~ модель боя behavioral ~ модель поведения binomial ~ биномиальная модель binomial ~ биномиальное распределение clay-clay ~ жесткая модель closed ~ замкнутая модель coalition ~ модель коалиции cobweb ~ паутинообразная модель cognitive ~ когнитивная модель communication ~ модель общения computational ~ вычислительная модель computer ~ машинная модель conceptual ~ концептуальная модель cyclic queueing ~ вчт. циклическая модель массового обслуживания data ~ вчт. модель данных decision ~ модель принятия решений decision-theory ~ модель выбора решений decision-theory ~ модель принятия решений double-risk ~ модель с двойным риском dynamic ~ динамическая модель dynamic programming ~ вчт. модель динамического программирования econometric ~ эконометрическая модель entity-relationship ~ модель типа объект-отношение equilibrium ~ модель равновесия estimation ~ модель оценивания explaining ~ поясняющая модель finite-horizon ~ модель с конечным интервалом fixed-horizon ~ модель с постоянным интервалом fixed-service-level ~ модель с фиксированным уровнем обслуживания formal ~ формальная модель game ~ игровая модель game-theory ~ теоретико-игровая модель general duel ~ общая модель дуэли generalized ~ обобщенная модель generic ~ типовая модель global ~ глобальная модель imaging ~ модель изображений interindustry programming ~ вчт. межотраслевая модель программирования interruption ~ модель с возможностью прерывания обслуживания knowledge ~ вчт. модель знаний labyrinth ~ лабиринтная модель language ~ модель языка learning ~ модель обучения linear ~ линейная модель linear programming ~ модель линейного программирования linear regressive ~ линейный регрессионная модель linguistic ~ лингвистическая модель logical ~ логическая модель logical-linguistic ~ логико-лингвистическая модель macrosectoral ~ макроотраслевая модель many-server ~ вчт. многоканальная модель master-workers ~ модель хозяин-работники matrix ~ матричная модель model быть натурщиком, натурщицей, живой моделью, манекенщицей ~ живая модель (в магазине одежды) ~ макет ~ манекен ~ моделировать;
лепить ~ модель, макет;
шаблон ~ модель ~ натурщик;
натурщица ~ образец, эталон ~ образец ~ attr. образцовый, примерный ~ оформлять ~ примерный, типовой( о конвенции, уставе и т.д.) ~ создавать по образцу (чего-л.;
after, on) ;
to model oneself ((up) on smb.) брать (кого-л.) за образец ~ тип ~ разг. точная копия ~ тех. формировать ~ шаблон ~ создавать по образцу (чего-л.;
after, on) ;
to model oneself ((up) on smb.) брать (кого-л.) за образец moving-average ~ модель скользящего среднего multichannel priority ~ вчт. многоканальная модель с приоритетами multifactor ~ многофакторная модель multiple ~ многоуровневая модель multistation queueing ~ вчт. многоканальная модель обслуживания network ~ сетевая модель no-backlog ~ модель без задалживания заказов no-queue ~ модель без образования очереди non-poisson ~ непуассоновская модель one-factor ~ однофакторная модель one-period ~ однопериодная модель open ~ открытая модель open ~ разомкнутая модель operations research ~ модель исследования операций phenomenological ~ феноменологическая модель pictorial ~ графическая модель pilot ~ опытный образец pilot: ~ plant опытный завод, опытная установка;
pilot model опытная модель poisson ~ пуассоновская модель predicitive ~ прогнозирующая модель preference ~ модель предпочтений priority ~ модель с приоритетами probability ~ вероятностная модель probability ~ стохастическая модель production ~ производственная модель prognostic ~ прогностическая модель queueing ~ модель массового обслуживания queueing ~ модель очереди random ~ вероятностная модель random ~ стохастическая модель reduced ~ упрощенная модель regression ~ регрессионная модель relational ~ реляционная модель scaling ~ шкальная модель security ~ модель механизма защиты semi-poisson ~ полупуассоновская модель shortest-route ~ модель выбора кратчайшего пути sign ~ знаковая модель simplex ~ симплексная модель simulation ~ имитационная модель single-channel ~ одноканальная модель single-period ~ однопериодная модель single-phase ~ однофазовая модель single-server ~ одноканальная модель singular ~ одноуровневая модель software ~ вчт. программная модель solid ~ объемная модель sophisticated ~ усложненная модель standard ~ типовая модель static equilibrium ~ модель статического равновесия static inventory ~ статическая модель управления запасами static ~ статическая модель station-to-station ~ многошаговая модель stochastic ~ вероятностная модель teaching ~ учебная модель (машины, оборудования) three-dimensional ~ трехмерная модель transportation ~ транспортная задача transshipment ~ модель перевозок с промежуточными пунктами trend-free ~ модель с отсутствием тренда trial ~ испытательный образец trial ~ пробный образец two-echelon ~ двухступенчатая модель two-state ~ модель с двумя состояниями user ~ модель пользователя waiting line ~ модель очереди wire-frame ~ каркасная модель world decision ~ всеобщая модель решений world ~ модель мира -
15 model
[ˈmɔdl]abstract model абстрактная модель abstract model building вчт. абстрактное моделирование allocation model модель распределения analytical model аналитическая модель associative model ассоциативная модель autonomous model автономная модель autoregressive model авторегрессионная модель backlogging model модель с задалживанием роста заказов battle model модель боя behavioral model модель поведения binomial model биномиальная модель binomial model биномиальное распределение clay-clay model жесткая модель closed model замкнутая модель coalition model модель коалиции cobweb model паутинообразная модель cognitive model когнитивная модель communication model модель общения computational model вычислительная модель computer model машинная модель conceptual model концептуальная модель cyclic queueing model вчт. циклическая модель массового обслуживания data model вчт. модель данных decision model модель принятия решений decision-theory model модель выбора решений decision-theory model модель принятия решений double-risk model модель с двойным риском dynamic model динамическая модель dynamic programming model вчт. модель динамического программирования econometric model эконометрическая модель entity-relationship model модель типа объект-отношение equilibrium model модель равновесия estimation model модель оценивания explaining model поясняющая модель finite-horizon model модель с конечным интервалом fixed-horizon model модель с постоянным интервалом fixed-service-level model модель с фиксированным уровнем обслуживания formal model формальная модель game model игровая модель game-theory model теоретико-игровая модель general duel model общая модель дуэли generalized model обобщенная модель generic model типовая модель global model глобальная модель imaging model модель изображений interindustry programming model вчт. межотраслевая модель программирования interruption model модель с возможностью прерывания обслуживания knowledge model вчт. модель знаний labyrinth model лабиринтная модель language model модель языка learning model модель обучения linear model линейная модель linear programming model модель линейного программирования linear regressive model линейный регрессионная модель linguistic model лингвистическая модель logical model логическая модель logical-linguistic model логико-лингвистическая модель macrosectoral model макроотраслевая модель many-server model вчт. многоканальная модель master-workers model модель хозяин-работники matrix model матричная модель model быть натурщиком, натурщицей, живой моделью, манекенщицей model живая модель (в магазине одежды) model макет model манекен model моделировать; лепить model модель, макет; шаблон model модель model натурщик; натурщица model образец, эталон model образец model attr. образцовый, примерный model оформлять model примерный, типовой (о конвенции, уставе и т.д.) model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец model тип model разг. точная копия model тех. формировать model шаблон model создавать по образцу (чего-л.; after, on); to model oneself ((up)on smb.) брать (кого-л.) за образец moving-average model модель скользящего среднего multichannel priority model вчт. многоканальная модель с приоритетами multifactor model многофакторная модель multiple model многоуровневая модель multistation queueing model вчт. многоканальная модель обслуживания network model сетевая модель no-backlog model модель без задалживания заказов no-queue model модель без образования очереди non-poisson model непуассоновская модель one-factor model однофакторная модель one-period model однопериодная модель open model открытая модель open model разомкнутая модель operations research model модель исследования операций phenomenological model феноменологическая модель pictorial model графическая модель pilot model опытный образец pilot: model plant опытный завод, опытная установка; pilot model опытная модель poisson model пуассоновская модель predicitive model прогнозирующая модель preference model модель предпочтений priority model модель с приоритетами probability model вероятностная модель probability model стохастическая модель production model производственная модель prognostic model прогностическая модель queueing model модель массового обслуживания queueing model модель очереди random model вероятностная модель random model стохастическая модель reduced model упрощенная модель regression model регрессионная модель relational model реляционная модель scaling model шкальная модель security model модель механизма защиты semi-poisson model полупуассоновская модель shortest-route model модель выбора кратчайшего пути sign model знаковая модель simplex model симплексная модель simulation model имитационная модель single-channel model одноканальная модель single-period model однопериодная модель single-phase model однофазовая модель single-server model одноканальная модель singular model одноуровневая модель software model вчт. программная модель solid model объемная модель sophisticated model усложненная модель standard model типовая модель static equilibrium model модель статического равновесия static inventory model статическая модель управления запасами static model статическая модель station-to-station model многошаговая модель stochastic model вероятностная модель teaching model учебная модель (машины, оборудования) three-dimensional model трехмерная модель transportation model транспортная задача transshipment model модель перевозок с промежуточными пунктами trend-free model модель с отсутствием тренда trial model испытательный образец trial model пробный образец two-echelon model двухступенчатая модель two-state model модель с двумя состояниями user model модель пользователя waiting line model модель очереди wire-frame model каркасная модель world decision model всеобщая модель решений world model модель мира -
16 algoristic-type model
1) Математика: детерминированная модель2) Вычислительная техника: алгоритмическая модель, формальная модель -
17 descriptive model
1) Техника: описательная модель2) Математика: формальная модель3) Бухгалтерия: дескриптивная модель4) Макаров: наглядное представление -
18 formal security model
1) Вычислительная техника: формальная модель политики безопасности2) Безопасность: модель политики безопасности, модель стратегии безопасности -
19 formal security policy model
eng.formal security policy modelrus.формальная модель политики безопасностиukr.формальна модель політики безпекиМатематическое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение (безопасного) состояния системы. Примером является модель Белла-Лападула.English-Russian dictionary of information security > formal security policy model
-
20 formal model
Вычислительная техника: формальная модель
- 1
- 2
См. также в других словарях:
формальная модель политики безопасности — Математически строгое описание политики безопасности. Подразумевает описание начального состояния системы, способы перехода системы из одного состояния в другое, а также определение безопасного состояния. Чтобы быть принятой как основа ДВБ (TCB) … Справочник технического переводчика
Формальная модель — модель, заданная на математическом или любом другом формализованном языке … Социологический словарь Socium
Модель Take-Grant — это формальная модель, используемая в области компьютерной безопасности, для анализа систем дискреционного разграничения доступа; подтверждает либо опровергает степени защищенности данной автоматизированной системы, которая должна удовлетворять… … Википедия
Модель «Смысл ↔ Текст» — Книга И. А. Мельчука «Русский язык в модели „Смысл ↔ Текст“» Теория «Смысл ↔ Текст» теория языка, созданная И. А. Мельчуком и представляющая его как многоуровневую модель преобразований смысла в текст и обратно (модель «Смысл ↔ Текст»);… … Википедия
Формальная верификация — формальное доказательство соответствия или несоответствия формального предмета верификации его формальному описанию. Предметом выступают алгоритмы, программы и другие доказательства. Из за рутинности даже простой формальной верификации и… … Википедия
ФОРМАЛЬНАЯ ЛОГИКА — наука, занимающаяся анализом структуры высказываний и доказательств, обращающая основное внимание на форму в отвлечении от содержания. Определение «формальная» было введено И. Кантом с намерением подчеркнуть ведущую особенность Ф.л. в подходе к… … Философская энциклопедия
МОДЕЛЬ — (франц. modele, от лат. modulus мера, образец, норма), в логике и методологии науки аналог (схема, структура, знаковая система) определ. фрагмента природной или социальной реальности, порождения человеч. культуры, концептуально теоретич.… … Философская энциклопедия
МОДЕЛЬ МИРА — (мифопоэтическая). В самом общем виде М. м. определяется как сокращённое и упрощённое отображение всей суммы представлений о мире внутри данной традиции, взятых в их системном и операционном аспектах. М. м. не относится к числу понятий… … Энциклопедия мифологии
модель Белла-Лападула — Формальная автоматная модель политики безопасности, описывающая множество правил управления доступом. В этой модели компоненты системы делятся на объекты и субъекты. Вводится понятие безопасного состояния и доказывается, что если каждый переход… … Справочник технического переводчика
модель принятия решений — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ. [http://www.lexikon.ru/dict/uprav/index.html] Тематики бухгалтерский учет EN decision model … Справочник технического переводчика
Модель принятия решений (DECISION MODEL) — Формальная схема выбора альтернатив, которая может включать в себя количественный анализ … Словарь терминов по управленческому учету